/LMAR=0/XLINE=4/FONT#0=NGR25/FONT#1=NGB30/FONT#2=SHD40/FONT#3=BDI25/FONT#4=NGR20






␈↓ α∧␈↓␈↓ 	¬Douglas B. Lenat
␈↓ α∧␈↓␈↓ πAArtificial Intelligence Laboratory
␈↓ α∧␈↓␈↓ πZComputer Science Department
␈↓ α∧␈↓␈↓ λ`Stanford University
␈↓ α∧␈↓␈↓ πFStanford, California 94305, USA
␈↓ α∧␈↓␈↓ λ∂Telephone 415-497-4971
␈↓ α∧␈↓␈↓ 	λJanuary 9, 1975





␈↓ α∧␈↓Public Relations Department
␈↓ α∧␈↓Institut de Recherche d'Informatique
␈↓ α∧␈↓Domaine de Volceau
␈↓ α∧␈↓78150 Le Chesnay, France




␈↓ α∧␈↓↓Dear Sirs,



␈↓ α∧␈↓↓␈↓ αdI␈α≡am␈α≥happy␈α≡to␈α≡respond␈α≥to␈α≡your␈α≡call␈α≥for␈α≡papers␈α≡for␈α≥the
␈↓ α∧␈↓↓International␈α∂Symposium␈α⊂on␈α∂Proving␈α∂and␈α⊂Improving␈α∂Programs.␈α∂ I␈α⊂wish␈α∂to
␈↓ α∧␈↓↓present␈αa␈αpaper␈αentitled,␈α␈↓βSynthesis␈αof␈αLarge␈αPrograms␈αFrom␈αSpecific␈αDialogues␈↓↓.
␈↓ α∧␈↓↓Four␈α∞copies␈α∞have␈α∞been␈α∞dispatched␈α∂to␈α∞you,␈α∞and␈α∞should␈α∞arrive␈α∂before␈α∞15
␈↓ α∧␈↓↓January.␈α
If␈αyou␈α
do␈αnot␈α
receive␈α
them,␈αplease␈α
contact␈αme;␈α
my␈α
address␈αand
␈↓ α∧␈↓↓telephone number are above. Thank you very much.

␈↓ α∧␈↓↓                                        Sincerely yours,